翻訳と辞書 Words near each other ・ Severinovca ・ Severinske Drage Viaduct ・ Severinus (consul 461) ・ Severinus Desiré Emanuels ・ Severinus iunior ・ Severinus of Noricum ・ Severinus of Sanseverino and Victorinus of Camerino ・ Severinus of Saxony ・ Severinus, Exuperius, and Felician ・ Severity ・ Severity (video game) ・ Severity factor ・ Severity of Alcohol Dependence Questionnaire ・ Severity of illness ・ Severity Order ・ Severi–Brauer variety ・ Severland ・ Severn (disambiguation) ・ Severn and Wye Railway ・ Severn Area Rescue Association ・ Severn Barrage ・ Severn Beach ・ Severn Beach Line ・ Severn Beach railway station ・ Severn bore ・ Severn Bridge ・ Severn Bridge (disambiguation) ・ Severn Bridge Junction ・ Severn Bridge Railway ・ Severn Bridge railway station Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Severi–Brauer variety ： ウィキペディア英語版 Severi–Brauer variety In mathematics, a Severi–Brauer variety over a field ''K'' is an algebraic variety ''V'' which becomes isomorphic to a projective space over an algebraic closure of ''K''. The varieties are associated to central simple algebras in such a way that the algebra splits over ''K'' if and only if the variety has a point rational over ''K''.〔Jacobson (1996) p.113〕 studied these varieties, and they are also named after Richard Brauer because of their close relation to the Brauer group. In dimension one, the Severi–Brauer varieties are conics. The corresponding central simple algebras are the quaternion algebras. The algebra (''a'',''b'')''K'' corresponds to the conic ''C''(''a'',''b'') with equation :$z^2\; =\; ax^2\; +\; by^2\; \backslash$ and the algebra (''a'',''b'')''K'' ''splits'', that is, (''a'',''b'')''K'' is isomorphic to a matrix algebra over ''K'', if and only if ''C''(''a'',''b'') has a point defined over ''K'': this is in turn equivalent to ''C''(''a'',''b'') being isomorphic to the projective line over ''K''.〔〔Gille & Szamuely (2006) p.129〕 Such varieties are of interest not only in diophantine geometry, but also in Galois cohomology. They represent (at least if ''K'' is a perfect field) Galois cohomology classes in :''H''1(''PGL''''n'') in the projective linear group, where ''n'' is the dimension of ''V''. There is a short exact sequence :1 → ''GL''1 → ''GL''''n'' → ''PGL''''n'' → 1 of algebraic groups. This implies a connecting homomorphism :''H''1(''PGL''''n'') → ''H''2(''GL''1) at the level of cohomology. Here ''H''2(''GL''''1'') is identified with the Brauer group of ''K'', while the kernel is trivial because :''H''1(''GL''''n'') = by an extension of Hilbert's Theorem 90.〔Gille & Szamuely (2006) p.26〕 Therefore the Severi–Brauer varieties can be faithfully represented by Brauer group elements, i.e. classes of central simple algebras. Lichtenbaum showed that if ''X'' is a Severi–Brauer variety over ''K'' then there is an exact sequence :$0\; \backslash rightarrow\; \backslash mathrm(X)\; \backslash rightarrow\; \backslash mathbb\; \backslash stackrel\; \backslash mathrm(K)\; \backslash rightarrow\; \backslash mathrm(K)(X)\; \backslash rightarrow\; 0\; \backslash \; .$ Here the map δ sends 1 to the Brauer class corresponding to ''X''.〔 As a consequence, we see that if the class of ''X'' has order ''d'' in the Brauer group then there is a divisor class of degree ''d'' on ''X''. The associated linear system defines the ''d''-dimensional embedding of ''X'' over a splitting field ''L''.〔Gille & Szamuely (2006) p.131〕 ==References== * * * * * * 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Severi–Brauer variety」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.